-
1 primitive connective
Большой англо-русский и русско-английский словарь > primitive connective
-
2 primitive connective
Математика: примитивная связка -
3 primitive connective
мат.English-Russian scientific dictionary > primitive connective
-
4 connective
-
5 примитивная связка
Большой англо-русский и русско-английский словарь > примитивная связка
-
6 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
См. также в других словарях:
connective tissue — Anat. a tissue, usually of mesoblastic origin, that connects, supports, or surrounds other tissues, organs, etc. [1880 85] * * * Tissue in the body that maintains the form of the body and its organs and provides cohesion and internal support,… … Universalium
primitive culture — Introduction in the lexicon of early anthropologists, any of numerous societies characterized by features that may include lack of a written language, relative isolation, small population, relatively simple social institutions and… … Universalium
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
human embryology — ▪ biology Introduction the process encompassing the period from the formation of an embryo, through the development of a fetus, to birth. The human body, like that of most animals, develops from a single cell produced by the union of… … Universalium
myxoma — A benign neoplasm derived from connective tissue, consisting chiefly of polyhedral and stellate cells that are loosely embedded in a soft mucoid matrix, thereby resembling primitive mesenchymal tissue; occurs frequently intramuscularly (where it… … Medical dictionary
Myxoma — For the atrial subtype, see Atrial myxoma. For the virus, see Myxoma virus. Myxomatous redirects here. It is not to be confused with Myxomatosis. Myxoma Classification and external resources … Wikipedia
Ossification — Bone is broken down by osteoclasts, and rebuilt by osteoblasts, both of which communicate through cytokine (TGF β, IGF) signalling. Ossification (or osteogenesis) is the process of laying down new bone material by cells called osteoblasts. It is… … Wikipedia
Intramembranous ossification — is one of the two processes during fetal development of the mammalian skeletal system in which bone tissue is created. It is also an essential process during the healing of bone fractures Brighton, Carl T. and Robert M. Hunt (1991), Early… … Wikipedia
Osteogenesis — is the process of laying down new bone material by osteoblasts. It occurs in two different ways: Either by Intramembranous Osteogenesis (see intramembranous ossification), which is the direct laying down of bone into the primitive connective… … Wikipedia
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia
myxoma — noun A tumor of primitive connective tissue … Wiktionary